f: a -> b -> c where a implements A where b implements Eq where c implements Ord

f
